Towards Vulnerability Discovery Using Staged Program Analysis

Eliminating vulnerabilities from low-level code is vital for securing software. Static analysis is a promising approach for discovering vulnerabilities since it can provide developers early feedback on the code they write. But, it presents multiple challenges not the least of which is understanding what makes a bug exploitable and conveying this information to the developer. In this paper, we present the design and implementation of a practical vulnerability assessment framework, called Melange. Melange performs data and control flow analysis to diagnose potential security bugs, and outputs well-formatted bug reports that help developers understand and fix security bugs. Based on the intuition that real-world vulnerabilities manifest themselves across multiple parts of a program, Melange performs both local and global analyses. To scale up to large programs, global analysis is demand-driven. Our prototype detects multiple vulnerability classes in C and C++ code including type confusion, and garbage memory reads. We have evaluated Melange extensively. Our case studies show that Melange scales up to large codebases such as Chromium, is easy-to-use, and most importantly, capable of discovering vulnerabilities in real-world code. Our findings indicate that static analysis is a viable reinforcement to the software testing tool set.Comment: A revised version to appear in the proceedings of the 13th conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA), July 201

Propagation of an Earth-directed coronal mass ejection in three dimensions

Solar coronal mass ejections (CMEs) are the most significant drivers of adverse space weather at Earth, but the physics governing their propagation through the heliosphere is not well understood. While stereoscopic imaging of CMEs with the Solar Terrestrial Relations Observatory (STEREO) has provided some insight into their three-dimensional (3D) propagation, the mechanisms governing their evolution remain unclear due to difficulties in reconstructing their true 3D structure. Here we use a new elliptical tie-pointing technique to reconstruct a full CME front in 3D, enabling us to quantify its deflected trajectory from high latitudes along the ecliptic, and measure its increasing angular width and propagation from 2-46 solar radii (approximately 0.2 AU). Beyond 7 solar radii, we show that its motion is determined by an aerodynamic drag in the solar wind and, using our reconstruction as input for a 3D magnetohydrodynamic simulation, we determine an accurate arrival time at the Lagrangian L1 point near Earth.Comment: 5 figures, 2 supplementary movie

Polyandrous females avoid costs of inbreeding

Why do females typically mate with more than one male? Female mating patterns have broad implications for sexual selection, speciation and conflicts of interest between the sexes, and yet they are poorly understood. Matings inevitably have costs, and for females, the benefits of taking more than one mate are rarely obvious. One possible explanation is that females gain benefits because they can avoid using sperm from genetically incompatible males, or invest less in the offspring of such males. It has been shown that mating with more than one male can increase offspring viability, but we present the first clear demonstration that this occurs because females with several mates avoid the negative effects of genetic incompatibility. We show that in crickets, the eggs of females that mate only with siblings have decreased hatching success. However, if females mate with both a sibling and a non-sibling they avoid altogether the low egg viability associated with sibling matings. If similar effects occur in other species, inbreeding avoidance may be important in understanding the prevalence of multiple mating

Evolution of Th2 responses : Characterization of IL-4/13 in sea bass (Dicentrarchus labrax L.) and studies of expression and biological activity

Acknowledgements This research was funded by the European Commission under the 7th Framework Programme for Research and Technological Development (FP7) of the European Union (Grant Agreement 311993 TARGETFISH). T.W. received funding from the MASTS pooling initiative (The Marine Alliance for Science and Technology for Scotland). MASTS is funded by the Scottish Funding Council (grant reference number HR09011) and contributing institutions.Peer reviewedPublisher PD

Resection of the liver for colorectal carcinoma metastases - A multi-institutional study of long-term survivors

In this review of a collected series of patients undergoing hepatic resection for colorectal metastases, 100 patients were found to have survived greater than five years from the time of resection. Of these 100 long-term survivors, 71 remain disease-free through the last follow-up, 19 recurred prior to five years, and ten recurred after five years. Patient characteristics that may have contributed to survival were examined. Procedures performed included five trisegmentectomies, 32 lobectomies, 16 left lateral segmentectomies, and 45 wedge resections. The margin of resection was recorded in 27 patients, one of whom had a positive margin, nine of whom had a less than or equal to 1-cm margin, and 17 of whom had a greater than 1-cm margin. Eighty-one patients had a solitary metastasis to the liver, 11 patients had two metastases, one patient had three metastases, and four patients had four metastases. Thirty patients had Stage C primary carcinoma, 40 had Stage B primary carcinoma, and one had Stage A primarycarcinoma. The disease-free interval from the time of colon resection to the time of liver resection was less than one year in 65 patients, and greater than one year in 34 patients. Three patients had bilobar metastases. Four of the patients had extrahepatic disease resected simultaneously with the liver resection. Though several contraindications to hepatic resection have been proposed in the past, five-year survival has been found in patients with extrahepatic disease resected simultaneously, patients with bilobar metastases, patients with multiple metastases, and patients with positive margins. Five-year disease-free survivors are also present in each of these subsets. It is concluded that five-year survival is possible in the presence of reported contraindications to resection, and therefore that the decision to resect the liver must be individualized. © 1988 American Society of Colon and Rectal Surgeons

The Epidemiology of Lead Toxicity in Adults: Measuring Dose and Consideration of Other Methodologic Issues

We review several issues of broad relevance to the interpretation of epidemiologic evidence concerning the toxicity of lead in adults, particularly regarding cognitive function and the cardiovascular system, which are the subjects of two systematic reviews that are also part of this mini-monograph. Chief among the recent developments in methodologic advances has been the refinement of concepts and methods for measuring individual lead dose in terms of appreciating distinctions between recent versus cumulative doses and the use of biological markers to measure these parameters in epidemiologic studies of chronic disease. Attention is focused particularly on bone lead levels measured by K-shell X-ray fluorescence as a relatively new biological marker of cumulative dose that has been used in many recent epidemiologic studies to generate insights into lead’s impact on cognition and risk of hypertension, as well as the alternative method of estimating cumulative dose using available repeated measures of blood lead to calculate an individual’s cumulative blood lead index. We review the relevance and interpretation of these lead biomarkers in the context of the toxico-kinetics of lead. In addition, we also discuss methodologic challenges that arise in studies of occupationally and environmentally exposed subjects and those concerning race/ethnicity and socioeconomic status and other important covariates

Pathological and ecological host consequences of infection by an introduced fish parasite

The infection consequences of the introduced cestode fish parasite Bothriocephalus acheilognathi were studied in a cohort of wild, young-of-the-year common carp Cyprinus carpio that lacked co-evolution with the parasite. Within the cohort, parasite prevalence was 42% and parasite burdens were up to 12% body weight. Pathological changes within the intestinal tract of parasitized carp included distension of the gut wall, epithelial compression and degeneration, pressure necrosis and varied inflammatory changes. These were most pronounced in regions containing the largest proportion of mature proglottids. Although the body lengths of parasitized and non-parasitized fish were not significantly different, parasitized fish were of lower body condition and reduced weight compared to non-parasitized conspecifics. Stable isotope analysis (δ15N and δ13C) revealed trophic impacts associated with infection, particularly for δ15N where values for parasitized fish were significantly reduced as their parasite burden increased. In a controlled aquarium environment where the fish were fed ad libitum on an identical food source, there was no significant difference in values of δ15N and δ13C between parasitized and non-parasitized fish. The growth consequences remained, however, with parasitized fish growing significantly slower than non-parasitized fish, with their feeding rate (items s−1) also significantly lower. Thus, infection by an introduced parasite had multiple pathological, ecological and trophic impacts on a host with no experience of the parasite

In vivo imaging and quantitative analysis of leukocyte directional migration and polarization in inflamed tissue

Directional migration of transmigrated leukocytes to the site of injury is a central event in the inflammatory response. Here, we present an in vivo chemotaxis assay enabling the visualization and quantitative analysis of subtype-specific directional motility and polarization of leukocytes in their natural 3D microenvironment. Our technique comprises the combination of i) semi-automated in situ microinjection of chemoattractants or bacteria as local chemotactic stimulus, ii) in vivo near-infrared reflected-light oblique transillumination (RLOT) microscopy for the visualization of leukocyte motility and morphology, and iii) in vivo fluorescence microscopy for the visualization of different leukocyte subpopulations or fluorescence-labeled bacteria. Leukocyte motility parameters are quantified off-line in digitized video sequences using computer-assisted single cell tracking. Here, we show that perivenular microinjection of chemoattractants [macrophage inflammatory protein-1alpha (MIP-1alpha/Ccl3), platelet-activating factor (PAF)] or E. coli into the murine cremaster muscle induces target-oriented intravascular adhesion and transmigration as well as polarization and directional interstitial migration of leukocytes towards the locally administered stimuli. Moreover, we describe a crucial role of Rho kinase for the regulation of directional motility and polarization of transmigrated leukocytes in vivo. Finally, combining in vivo RLOT and fluorescence microscopy in Cx3CR1(gfp/gfp) mice (mice exhibiting green fluorescent protein-labeled monocytes), we are able to demonstrate differences in the migratory behavior of monocytes and neutrophils.Taken together, we propose a novel approach for investigating the mechanisms and spatiotemporal dynamics of subtype-specific motility and polarization of leukocytes during their directional interstitial migration in vivo

"It's making contacts" : notions of social capital and implications for widening access to medical education

Acknowledgements Our thanks to the Medical Schools Council (MSC) of the UK for funding Study A; REACH Scotland for funding Study B; and Queen Mary University of London, and to the medical school applicants and students who gave their time to be interviewed. Our thanks also to Dr Sean Zhou and Dr Sally Curtis, and Manjul Medhi, for their help with data collection for studies A and B respectively. Our thanks also to Dr Lara Varpio, Uniformed Services University of the USA, for her advice and guidance on collating data sets and her comments on the draft manuscript.Peer reviewedPublisher PD